Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Generated nix CI #306

Closed
wants to merge 33 commits into from
Closed

Generated nix CI #306

wants to merge 33 commits into from

Conversation

CohenCyril
Copy link
Member

No description provided.

@CohenCyril CohenCyril changed the title Generated nix CI test Generated nix CI Dec 17, 2020
@CohenCyril CohenCyril marked this pull request as draft December 17, 2020 09:17
@coqbot-app coqbot-app bot removed the needs: rebase label Mar 7, 2021
@CohenCyril CohenCyril force-pushed the generated-nix branch 8 times, most recently from 918d3d7 to 868a954 Compare March 14, 2021 17:19
@CohenCyril CohenCyril closed this Jan 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@CohenCyril